退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:监督控制在并发软件中避免死锁的应用
Yin Wang; Terence Kelly; Manjunath Kudlur; Scott Mahlke; Stéphane Lafortune;
机译:基于SAT的并发软件控制避免死锁
机译:监控复合过程中避免死锁的控制
机译:在实时事务处理中使用死锁回避模拟并发控制
机译:监督控制在并发软件中避免死锁避免
机译:透明的数据流检测和在工作流调度中的使用:并发和避免死锁。
机译:用于微电网测试台的低成本基于Web的监控和数据采集系统:在学术和研究应用程序的设计和实现中的案例研究
机译:避免软件运行时异常的监督控制
机译:描述并行不确定系统的形式化及其在死锁危险分析系统中的应用
机译:多线程应用程序中的避免死锁机制
机译:方法,系统和计算机程序产品,用于防止在访问公用存储介质的同一和不同存储处理器上同时执行冲突软件操作,同时避免死锁
机译:在保护嵌入式应用程序的软件免受未经授权的访问的方法中,与监督逻辑电路一起使用的访问控制电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。